Si … alors définition

Si … alors

Si P Þ Q est une proposition vraie, alors si P est vraie alors Q est vraie.
Trouvé sur http://villemin.gerard.free.fr/Referenc/Encyclop/A.htm

---